TAGs: long division